Checks for the constructor and ability to call functions

Depends on #621