Use type inference for blocktype instead of runtime mapreduce

Use type inference for blocktype instead of runtime mapreduce #495