Enforcing static filters

Based on the observation that dynamic invocations are far more costly than static ones, we have implemented an alternative optimization. Any dynamic invocations are avoided by generating static source code from accessors after performing type checks. The source code is then directly compiled by calling the SUN JAVA compiler (sun.tools.javac), in a way similar than this is done in [KMS98] or [TCKI00].