adds a typeblocking option for if-then-else

Change-Id: I8102d40e2d8cd882e7b6404f5f73ca0a9ddc7a61
adds basic instructions for compiling in README

Change-Id: I6ab96e143632bc4b88c119641b7247f9f40a04b4